snippet Coq Gitignore Template
abbr    Coq
        ### Coq ###
        .*.aux
        *.a
        *.cma
        *.cmi
        *.cmo
        *.cmx
        *.cmxa
        *.cmxs
        *.glob
        *.ml.d
        *.ml4.d
        *.mli.d
        *.mllib.d
        *.mlpack.d
        *.native
        *.o
        *.v.d
        *.vio
        *.vo
        .coq-native/
        .csdp.cache
        .lia.cache
        .nia.cache
        .nlia.cache
        .nra.cache
        csdp.cache
        lia.cache
        nia.cache
        nlia.cache
        nra.cache
        ${0}
